: （p→q）一定为假若已知命题形式“p→（q→（r→s））”为假，则可知（）。